<?php
class plugin_donkey_activity {

	function global_header() {
		return 'pauli````';
	}

}
?>